<HTML>
<BODY BGCOLOR="white">
<PRE>
<FONT color="green">001</FONT>    package org.hackystat.sensorshell;<a name="line.1"></a>
<FONT color="green">002</FONT>    <a name="line.2"></a>
<FONT color="green">003</FONT>    import java.io.FileFilter;<a name="line.3"></a>
<FONT color="green">004</FONT>    import java.io.File;<a name="line.4"></a>
<FONT color="green">005</FONT>    <a name="line.5"></a>
<FONT color="green">006</FONT>    /**<a name="line.6"></a>
<FONT color="green">007</FONT>     * Provides a file filter that accepts only files with a given case-insensitive extension.<a name="line.7"></a>
<FONT color="green">008</FONT>     *<a name="line.8"></a>
<FONT color="green">009</FONT>     * @author    Philip M. Johnson<a name="line.9"></a>
<FONT color="green">010</FONT>     * @version   $Id: ExtensionFileFilter.java,v 1.1.1.1 2005/10/20 23:56:44 johnson Exp $<a name="line.10"></a>
<FONT color="green">011</FONT>     */<a name="line.11"></a>
<FONT color="green">012</FONT>    public class ExtensionFileFilter implements FileFilter {<a name="line.12"></a>
<FONT color="green">013</FONT>      /** The wanted extension. */<a name="line.13"></a>
<FONT color="green">014</FONT>      private String extension;<a name="line.14"></a>
<FONT color="green">015</FONT>    <a name="line.15"></a>
<FONT color="green">016</FONT>      /**<a name="line.16"></a>
<FONT color="green">017</FONT>       * Creates a file filter that accepts only files with the given extension, case-insensitive.<a name="line.17"></a>
<FONT color="green">018</FONT>       *<a name="line.18"></a>
<FONT color="green">019</FONT>       * @param extension  The extension string (typically including the ".").<a name="line.19"></a>
<FONT color="green">020</FONT>       */<a name="line.20"></a>
<FONT color="green">021</FONT>      public ExtensionFileFilter(String extension) {<a name="line.21"></a>
<FONT color="green">022</FONT>        this.extension = extension.toLowerCase();<a name="line.22"></a>
<FONT color="green">023</FONT>      }<a name="line.23"></a>
<FONT color="green">024</FONT>    <a name="line.24"></a>
<FONT color="green">025</FONT>      /**<a name="line.25"></a>
<FONT color="green">026</FONT>       * Determines if the passed file should be filtered or not.<a name="line.26"></a>
<FONT color="green">027</FONT>       *<a name="line.27"></a>
<FONT color="green">028</FONT>       * @param file  The file to be (potentially) filtered.<a name="line.28"></a>
<FONT color="green">029</FONT>       * @return      True if the file has the specified extension, false otherwise.<a name="line.29"></a>
<FONT color="green">030</FONT>       */<a name="line.30"></a>
<FONT color="green">031</FONT>      public boolean accept(File file) {<a name="line.31"></a>
<FONT color="green">032</FONT>        if (file.isDirectory()) {<a name="line.32"></a>
<FONT color="green">033</FONT>          return false;<a name="line.33"></a>
<FONT color="green">034</FONT>        }<a name="line.34"></a>
<FONT color="green">035</FONT>        return file.getName().toLowerCase().endsWith(this.extension);<a name="line.35"></a>
<FONT color="green">036</FONT>      }<a name="line.36"></a>
<FONT color="green">037</FONT>    }<a name="line.37"></a>
<FONT color="green">038</FONT>    <a name="line.38"></a>
<FONT color="green">039</FONT>    <a name="line.39"></a>




























































</PRE>
</BODY>
</HTML>
